Onomasticon - Pollux, Julius (Nicolai, 1846)