Task: Translation
Input (German): Formeln I und II
Output (English): Formulas I and II