Anfang Mai hat die liebevoll nostalgisch gestaltete „Pinball Lounge“ offiziell eröffnet. Mehr als 30 Flipper, Arkaden und Jukeboxen laden hier zum Staunen und Ausprobieren ein.