Norway after World War II -- General Part -- Jaakko Hintikka in the Library of Living