Fun Opera in Munich on a Rainy day