git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1206 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
Env setzen: . ./setImperas.sh 64 bit Systeme brauchen ia32-libs evtl unter Ubuntu: ln -s /usr/lib32/libstdc++.so.6 /usr/lib32/libstdc++.so License Server in Env-Variable: export IMPERASD_LICENSE_FILE=@faui49.informatik.uni-erlangen.de