f. d. Prins Carls Hotel.