La mairie de Roskilde.
Roskilde's city hall.