Zufällig entdeckt, dass es von Mizar inzwischen ne neue Version (v0.310) gibt. Die Version in der DB kann man btw. nicht mehr laden.