Is Walchensee Germany’s Prettiest Lake?