https://de.wikipedia.org/wiki/Tristacher_See