\begin{picture}(0,0)%
\includegraphics{rand-unabhaengig-von-karte-2.eps}%
\end{picture}%
%
%  Created by WinFIG version 5.04 
%  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}(25032,6011)(2236,-7009)
%  METADATA <id>7</id> 
\put(27106,-3631){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{1,0,0}$H_k$}%
}}}}
%  METADATA <id>58</id> 
\put(2251,-1576){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{1,0,0}$E_k$}%
}}}}
%  METADATA <id>33</id> 
\put(16336,-1501){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,.56,0}$M\cap U$}%
}}}}
%  METADATA <id>15</id> 
\put(11101,-2851){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$\Phi_1$}%
}}}}
%  METADATA <id>18</id> 
\put(13156,-5071){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$\Psi\colon N_1\to N_2$}%
}}}}
%  METADATA <id>31</id> 
\put(17716,-3046){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}$\Phi_2$}%
}}}}
%  METADATA <id>46</id> 
\put(21481,-1681){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,.56,0}$N_2:=\Phi_2(M\cap U)$}%
}}}}
%  METADATA <id>47</id> 
\put(5266,-1546){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,.56,0}$N_1:=\Phi_1(M\cap U)$}%
}}}}
%  METADATA <id>52</id> 
\put(21511,-6811){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}Karte von Typ (ii)}%
}}}}
%  METADATA <id>53</id> 
\put(4996,-6736){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,0}Karte von Typ (i)}%
}}}}
%  METADATA <id>39</id> 
\put(11439,-1621){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{1,0,1}$a$}%
}}}}
\end{picture}%
