Do any German tool companies make combination wrenches 10mm and up with 6pt. box ends on them? Hazet makes them from 5.5mm to 9mm and then stops.