GEMEENTELIJKE PENSIOENKAS DER STADSBEZOLDIGDEN (OOSTENDE)