We had packed our lunches so we could have eaten anywhere, but decided to get something hot at this place, called Rotstockhutte.