Definition: Lokales Extremum