Thank you. Solution was much easier:Download the bootanimation and paste it on your SD. Then install this app: https://play.google.com/store/apps/details?id=com.jrummy.apps.boot.animations
Then on this app search for an option that let you choose from SD, and it will do all the job.
I accidentally found that the links of the OP contain each TWO links. One for recovery flash and one for copy+paste to /system/media.
I just wondered why the original file is 4.26MB and the downloaded file was just 89KB. Suddenly I found that there is an additional link which leads to a 3MB sized file which is much closer to the original.
Downloaded. Done. Works. Thanks.
@OP: I read the thread and found that I am not the only user who ran into problems. Maybe you like to separate the links so that it is much easier for others to find the according file? Thanks.
