https://9pdf.info/document/q5mr41gr-thoralf-skolem-in-memoriam.html