Am späten Samstagabend konnte der Vermisste bei einem Tauchgang im Irrsee gefunden werden.