( f. d. Hotell Kristiania ),