btw, I have realized that I made a few mistakes. One, a really stupid one because I knew about this rule, can't qualify another athlete because they already won a quota at the WCh. Two, wasn't at the 2019 WCh, which makes her ineligible. And three, which I don't really understand, is eligible? I thought that she already won the quota. Maybe that WCh reallocation happens after the ECh?
Anyway, all of this doesn't matter because these 3 athletes aren't that close to be #1 in the race for the quota.