$UAI dm 1 grüner Baum entspricht wie vielen roten Bäumen