RPGA ist immer noch down, hab aber mal die neue Version von Mizar (0.38) eingetragen.