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