största diamant är , såsom bekant , »Stora