Gasthof Rothaus is a restaurant.