on Bad Tatzmannsdorf map