Saumarkt & Mühletorplatz, 10.00 - 19.00
ab 06. Jul
Öffnungszeiten: → Besichtigung während der Veranstaltungen