A 10mm gear ratchet combination wrench, made to DIN standard 3113 with 72 teeth ratchet drive. 72 Teeth ratchet drive hardened to HRC 42-46.
eBay