Damit Studenten nicht 6.18855838e-15 Euros in ihren Druck-accounts haben, wollten
wir mal testen, ob man in sqlite statt FLOAT auch DECIMAL(8,2) nehmen koennte.
Tut nicht, weil sqlite nur Ganzzahl vs Real kennt, und wenn man aus einem dump
eine 6.18855838e-15 kommt, wird das DECIMAL zu FLOAT befoerdert, und wir haben
wieder den mist...