The copper gasket was present; I think the previous owner used too big of a fan belt and tried to compensate by turning the water pump in its housing with a pipe wrench. I am sure the rust didn't help make the pump come out any easier either.
Do you know what size fan belt the 533 6 cyl would use? The other owner had a 41" belt with a 36' angle but I see in the Dayco catalog a 40", with a 38' angle. If the car is a 433 the belt would be even smaller at 38"