You now may search the API of Doctor-Doc for print holdings also manually:
There is no need to login or to be registered to use this API.
Of course you may use this API for your own applications or with another
installation of Doctor-Doc to send automated requests by OpenURL...
PS: availability works down to issue level.