-> A patch from Andreas fixing some bugs with the new Soko levels.
Note: This fix is quite "hacky" and should be improved later but for the moment the bugs are gone.
Authored by: raoul 2011-07-13
Parent: [r2212]
Child: [r2214]
