Translation of "Steckdeckel" in English