I wonder how many millions of holidays have been cancelled during 2020? I know people who had spring holidays booked during 2020, optimistically re-booked for autumn 2020 and then had to cancel, re-booking for 2021, or in some cases 2022 (to be on the safe side). Have you had to cancel anything this year?