Referenceprefix manager: Made prefix-mappings of already delete objects removable.
Merge pull request #569 from 4teamwork/pg_fix_referencenumber_manager

Referenceprefix manager: Made prefix-mappings of already delete objects removable.