La mairie de Roskilde. Roskilde's city hall.