This is MetaPost, Version 1.005 (Web2C 7.5.7) (mem=mpost 2010.2.18)  1 APR 2010 09:58
**teilmengen.mp
(teilmengen.mp [0] )
1 output file written: teilmengen.0