The seismically active Mt. Hochstaufen, Bad Reichenhall (Germany)