„ Bad Reichenhall Maj — Oktober■-