Has anyone ever been to Munich, Germany?

[newman]

it’s called Bauma or something? I’m not sure. It’s a mining show, which i don’t deal with much.