[1475] Der Diamantschneider, oder Demantschneider, des -s, plur. ut nom. sing. ein Steinschneider, welcher vornehmlich Diamanten bearbeitet.