Geometriebibliothek, parallel entwickelt zur Vorlesung Geometriekalküle an der TU München