Rekord-Fund: gelber Diamant mit fast 72 Karat