Preisregeln: Präzedenzbug bei Mengenregel behoben