( Gamla Domprosthuset .)