Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration by C. Lange