festsalen i Berlins rådhus.