Hochstraßer See: A German lake offering family-friendly swimming with Alpine views, plus a Biergarten and restaurant serving food and drinks.