Besuch der „bauma“-Messe in München (Oktober 2022)