7.000 Jahre alter Mondseebohrkern soll Hochwassergefahr klären