en badort i Sachsen.