XSIZE=1200
YSIZE=700
FONTNAME=Comic Sans MS
FONTBOLD=false
FONTSIZE=14
#SHOWPRIVATE=false
SHOWLAMBDA=false
SHOWSWITCH=false
SHOWEQUALSANDHASHCODE=false
OBJEKTBREITE=150
OBJEKTABSTAND=20
ZEILENABSTAND=30
COMPLETETEXT=true