( f. d. Domprost huset ).