Jetzt, wo wieder Frieden eingekehrt ist, können wir da die Definition ändern auf "single tree", also einzelner Baum? Oder müssen wir dazu abstimmen? Auf "tagging" war das soweit ich das gesehen habe auch Konsens. Gruß Martin