A = (-5.999999999999994, 4)
B = (8.99999999999999, 4)
a = Line(A, B)
Herr = Point(a)
Baum = Intersect(xAxis, yAxis)
b = Line(Herr, Baum)
Leine = 4
c = Circle(Herr, Leine)
F, Pluto = Intersect(c, b)
loc1 = Locus(Pluto, Herr)