While you shouldn't bother packing shorts on a trip to Austria ... A bit further along the lake (hop off at the Wallersee ...