Floods of July 2021 in Europe: the most expensive disaster for insurance