Weißbach Obermühle, Bad Reichenhall