Title: The celebrated reference library of H.P. Kraus