Hmm ... maybe I have it. In addition to the general module "Declarations" that I have, there was one module from which I had copied some code, but which I had not yet removed. There were also some variable_declarations in there, also with PUBLIC, but still, that might have been the issue ...
I just removed it now and it seems to be working.