National Semiconductor Novus 4510 Mathematician from 1976

[jebem]

The 9VDC DC-902 European AC adapter, made in Germany:




The super quality pouch, HP-67 style:




I was lucky to get the original user guide in the deal as well:




And the Portuguese translation user guide, courtesy of the JJE local distributor:
JJE is a respected electronic instrumentation distributor based in Lisbon.
This Portuguese guide was written for the 4515 model, but it was included in the 4510 as well. The user just needed to ignore the 4515 extra features.