Angepasste Übesretzungen für aleph_down Versionswechsel
* @luchner z.K.