Typen, Tore, Titel - Zeitreise durch DEL-Rekorde seit 1994