Von 11-Jähriger entdeckt: 25-Meter-Fischechse war wohl die Größte ihrer Art