Gasthaus zur Ölmühle is a German restaurant.