Rathaus: the German word for Town hall.