f. d. Hotell Prins Carl,