Nach Badeunfall am Germeringer See: Verunglückter 83-Jähriger gestorben