\begin{picture}(0,0)%
\includegraphics{spiegelung-in-vertikaler-gerade.eps}%
\end{picture}%
%
%  Created by WinFIG version 5.01 
%  METADATA <version>1.0</version> 
%
\setlength{\unitlength}{1184sp}%
%
\begingroup\makeatletter\ifx\SetFigFont\undefined%
\gdef\SetFigFont#1#2#3#4#5{%
  \reset@font\fontsize{#1}{#2pt}%
  \fontfamily{#3}\fontseries{#4}\fontshape{#5}%
  \selectfont}%
\fi\endgroup%
\begin{picture}(20570,6525)(1585,-6454)
%  METADATA <id>35</id> 
\put(13096,-6256){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$d_\H(x+iy,S)=d_\H(S,-x+iy)$}%
}}}}
%  METADATA <id>38</id> 
\put(18299,-2285){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{.63,.25,0}$S$}%
}}}}
%  METADATA <id>3</id> 
\put(1600,-1578){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{1,0,0}hyperbolische Gerade $\operatorname{Re}(z)=0$}%
}}}}
%  METADATA <id>5</id> 
\put(1749,-2632){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,1}$P=x+iy$}%
}}}}
%  METADATA <id>12</id> 
\put(11418,-1045){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,.69,0}\begin{tabular}{c}hyperbolische Gerade durch $P$,\\orthogonal zu $g$\end{tabular}}%
}}}}
%  METADATA <id>14</id> 
\put(19092,-3041){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{1,0,1}$s_g(P)=-x+iy$}%
}}}}
%  METADATA <id>20</id> 
\put(12770,-2619){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,1}$P=x+iy$}%
}}}}
%  METADATA <id>22</id> 
\put(6980,-3078){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{1,0,0}$g$}%
}}}}
%  METADATA <id>30</id> 
\put(19712,-4095){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,.69,0}$|z|=|P|$}%
}}}}
%  METADATA <id>26</id> 
\put(5456,-5768){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$0$}%
}}}}
\end{picture}%
