hathitrust, use umlaut-standard isbn normalization