german diamond mining machine small