Translation of "Filterschlüssel" in English