The Dutch term "gemeentehuis" matches the English term "town-hall, townhall"