Hewlett Packard HP-IB Original HP Manuals 20x
asking price is about 12 euros per manual, which seems very cheap when compared to same manuals elsewhere/other sellers.