Hotel Restaurant Gruner Baum und Altes Tor, Bad Waldsee