Thanks for the hints! Apparently, there are various versions of Acrobat 9.5.5 around. Upon installation of the version you were linking to, it works now. Thanks.
Interestingly (but not essential now), when you try to open the preferences dialog, you always get an error.