617 Mārtiņš Hartmanis - Nacionālā enciklopēdija