remove main() from Formula (Andreas says that it doesn't work anyways) MRSFormula seems doesn't seem to be used/needed/useful
remove main() from Formula (Andreas says that it doesn't work anyways)
MRSFormula seems doesn't seem to be used/needed/useful

git-svn-id: 0dc367cf2a1f0872b31aed51a516e91b94972fba@2819 19460358-522e-0410-942e-fdb976ae3ca2

ONatalia/Masterarbeit,ONatalia/Masterarbeit,ONatalia/Masterarbeit,ONatalia/Masterarbeit