A brief outline of the history of libraries by Justus Lipsius