The above won the 2001 world championship high-jump.
My question is, how would we spell his surname in English.
I worked in Germany(he's German) but I can't recall that 'squiggle'.
I'm surprised you did not encounter "eszett" whilst in Germany because it is still in common usage, especially so after the 1996 spelling reform of German.