Translation of "Auslösungssatz" in English