If you don't have this today, that's fine, but do you have the figure for what was paid out in 2019 in terms of insurance? Is there an estimate that the EDC has come up with at this point in time as to what could be paid out in 2020, this being obviously an extremely difficult year?
On June 9th, 2020. See this statement in context.