12.5 Formules herleiden