diamantgruva (Nomen)