Novotný, František knihovnický pracovník.