Ach, Mizar gibts auch noch?
Sehr schön, dass es was neues gibt. Ich freu mich jetzt schon wie blöde auf die Demo/VV .