A = (-0.6, 0.9)
B = (-0.6, 3.86)
s = Line(A, B)
C = (-2.38, 4.98)
D = Point(Circle[C, 1.3])
a = Segment(C, D)
E = (-1.52, 3.94)
F = Point(Circle[E, 1.3])
b = Segment(E, F)
G = Point(Circle[F, 1.3])
c = Segment(F, G)
α = Angle(G, F, E)
abstandCD = Distance(C, D)
TextCD: "\overline{" + (Name[C]) + (Name[D]) + "} \, = \, " + abstandCD
F' = Mirror(F, s)
G' = Mirror(G, s)
c' = Segment(F', G')
E' = Mirror(E, s)
d = Segment(F', E')
β = Angle(E', F', G')
C' = Mirror(C, s)
D' = Mirror(D, s)
a' = Segment(C', D')
abstandD'C' = Distance(D', C')
TextD'C': "\overline{" + (Name[D']) + (Name[C']) + "} \, = \, " + abstandD'C'
abstandC'D' = Distance(C', D')
TextC'D': "\overline{" + (Name[C']) + (Name[D']) + "} \, = \, " + abstandC'D'