The life and scientific work of Dénes König (1884–1944)☆