The Max Planck Research Library for the History and Development of Knowledge is dormant