Erik Ole Jørgensen (1925-2002)