König 1960 Ernst Engels