Eating

Restaurants cluster around Domplatz and Marktplatz.