De tre cirkusbyggnaderna i Berlin,