Der Plausibär hat ein neues Feature verpasst bekommen. Es ist nun möglich, die Anzahl der Koordinaten durch Angabe von weiteren Bedingungen zu verringern. Die Details hierfür sind hier unter der Überschrift Reduzierung der Anzahl der Koordinaten dokumentiert.
