Titisee-Neustadt.
Gasthof 'Ochsen'