Früher war das ein Kasino. Jetzt - Marionettentheater.