Gasthaus Michaelskreuz is a restaurant offering a menu that includes salads and other dishes.