Joseph Dietzgen - a sketch of his life by Eugene Dietzgen