Gasthof zum Laternche is a restaurant.