Title: Untersuchungen über die automatische Lösung von Aufgaben der konstruktiven Geometrie