Tyska operahuset i Rotterdam,