Johannes ) : J . H . G .Fredholm