on Bad Waltersdorf map