Paper Splitting at the German Library in Leipzig — Development from Craftmanship to Full Mechanisation