P = (0.08, -0.76)
Q = (3.08, 4.1)
g = Line(Q, P)
A = Corner(Bild1, 1.0)
B = Corner(Bild1, 2.0)
C = Corner(Bild1, 3.0)
D = Corner(Bild1, 4.0)
Bild2 = Mirror(Bild1, g)
E = Mirror(A, g)
F = Mirror(B, g)
G = Mirror(C, g)
H = Mirror(D, g)
a = Segment(A, E)
b = Segment(B, F)
c = Segment(C, G)
d = Segment(D, H)