Lukas Märtens beendet die Olympischen Spiele mit einer persönlichen Bestzeit und einer Goldmedaille. Der Magdeburger zieht am ARD-Mikrofon Bilanz.