Sommer-Tipps für den Hochschwarzwald und was du über Durstlöscher und Löschteiche wissen musst.