TeX source:
67{,}1 \, \% \text{ von } 1.250 = \dfrac{67{,}1 \cdot 1.250}{100} = 838{,}75