Baumstumpf Logik steht