English ⇔ German / Englisch ⇔ Deutsch 🔎 extended search local extremum DeutschEnglish lokales Extremum [mat.]local extremum [noun]