The Interactive Geometry Software: Cinderella, Version 1.2