I've just seen my official time posted: 21:17. It appears that now they included the guy who ran 18:02, so everyone was shifted down by one position. I still have my doubts, I'm rather sure I ran into the chute at 21:10, and I don't think I can be 7 seconds wrong. Also, I can't believe I ran the last, downhill mile MUCH slower than mile 2 (assuming that the mile 2 marker was correct). I'll use 21:17 as my PR for now, but I'm eager to break it, so I can forget about this race.

(Maybe it would be better to prepare a little more seriously instead of praying before the race.)