TeX Quellcode:

12{,}672