"ordered tree" Deutsche bedeutung