och hotellets tjenstepersonal 2,000 kr.