I downloaded spring-framework-2.5.5.zip from
extracted the files and copied all files from spring-framework-2.5.5/dist/modules/
Now it works. I probably included too much but at this moment I don't have the time to determine what I should include minimally.
I leave this answer to my own question in case it is useful for someone else.µ