Bad Waldsee. Bezirkskrankenhaus