Mathematik, Intuition, Formalisierung: eine Untersuchung von Schülerinnen- und Schülervorstellungen zu $0{,}\overline{9}$