Title: Warum-Frage und Typentheorie der Erklärung