Thank you for all the replies!
I am feeling lucky to suddenly have these amazing pieces.
I guess my first point of order is to find the power supplies to run them with and thoroughly test the current state these are in.
Anyone has some suggestions on where to buy a power supply for a vintage Nagra recorder?