library magdeburg .