Märtens se convirtió en el primer nadador masculino alemán que conquista una medalla de oro olímpica desde que Michael Gross lo hizo en 1988.