Task: Translation
Input (German): Formeln
Output (English): formulas