@cstross@wandering.shop helpful federated search in library catalogues all over the world: https://kvk.bibliothek.kit.edu/index.html?lang=en&digitalOnly=0&embedFulltitle=0&newTab=0