HOTELL EGGERS ( Hotell Kristiania ).