⠀

Definition: Lokales Extremum