Polishing of diamonds; cutting of diamonds; polishing of diamonds and other precious stones; processing and cutting of diamonds and other precious stones; jewelry casting