\begin{picture}(0,0)%
\includegraphics{cinfty-ueberdeckung.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}(19917,5766)(1683,-5893)
%  METADATA <id>6</id> 
\put(10676,-2808){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{1,0,0}$M$}%
}}}}
%  METADATA <id>15</id> 
\put(3022,-825){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,1}$U_1$}%
}}}}
%  METADATA <id>16</id> 
\put(7234,-846){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{1,0,1}$U_3$}%
}}}}
%  METADATA <id>17</id> 
\put(5117,-836){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,.56,0}$U_2$}%
}}}}
%  METADATA <id>29</id> 
\put(13624,-640){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,0,1}$U_1(\epsilon)$}%
}}}}
%  METADATA <id>30</id> 
\put(19357,-630){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{1,0,1}$U_3(\epsilon)$}%
}}}}
%  METADATA <id>31</id> 
\put(16296,-675){\makebox(0,0)[lb]{\smash{{\SetFigFont{12}{14.4}{\rmdefault}{\mddefault}{\updefault}{\color[rgb]{0,.56,0}$U_2(\epsilon)$}%
}}}}
\end{picture}%
