f. d. hotell Prins Carl.