( f. d. Domprosthuset ).