SoundTrip, yorokobi – thanks! My problem has been fixed too!
/../../../../../../../../../../../../../../../../tmp/ line in wp_options’s activated_plugins and deactivated_plugins tables. The version problem disappeared after I deleted both entries.
However I didn’t have the wpinfo.txt file and, so far, I haven’t found the hacked php code in any of my files yet.
Thanks again for showing the way!