Towards new documentation systems for mathematics teachers?