for dictionaries now the mapping integer to string is realized via a string array stored on disk. Caution: Indices must be created again when using the new code...