Didactics and History of Mathematics: Knowledge and Self-Knowledge