f. d. hotell Kristiania.