Armanda, Ivan, Leksikografski zavod Miroslav Krleža, Hrvatska