Using Metadata for the Interlinking of Digitized Mathematics