Das Randecker Maar vom Auchtert aus gesehen