The German term "Rathaus" matches the English term "town hall, city hall, town hall"