Regionalliga, damals als noch dritte Liga!