f. d. Prins Carls Hotell.