2011 Cervantes has 9.5 mm Magura master cylinder. Number is cast into the MC clamp body on the bottom side of it. One would suppose that 2012 has the same.
Motocrosscenter also sells older model 9.5mm Magura clutch pump at the very attractive price point.