Title: Quantitative und Formale Probleme