( firma : Wilhelm hotellet.