Title: Bad Reichenhall (Historischer Atlas von Bayern)