The largest floods in the High Rhine basin since 1268 assessed from documentary and instrumental evidence