( f. d. Hoteli Kristiania ),