f. d. Frins Carls Hotel.