Old water pump in old saline in Bad Reichenhall, a spa town in the Bavarian Alps in Germany, near Salzburg, Austria