David Irving: Worth reading or “discredited”?