Deutscher Urlauber starb beim Schwimmen im Wörthersee