Stiefel, Karl Julius see Stiefel, Julius, 1847-1908,