Adam Ondra #21: The hardest route in the world