Maybe a stupid question. But did you delete the browser cache?
It's a not so stupid question. Sure I forgot to try this. ;-) So I applied the patch again because I wanted to test it, but this time it was working without any problem. So sorry for creating this post here. Thanks for your answer Wolfgang.