It is being scanned on a 6K sensor, with 4K Full Aperture output:
4096 x 3112 pixels. (UHD 4K is 3840x2160, so the scan is considerably higher resolution than ‘consumer 4K’)
This SE print doesn’t resolve as much detail as the IB Techs from the 70s, 4K in this instance should be more than enough.