Günther Pflug — German librarian (1923–2008)