KOCH H. (HOTELIERSTER)