Lager Krug is a restaurant.