Komatsu produceert 10.000ste Europese graafmachine