Wie wird ATP in den Mitochondrien gebildet?