Translation of "Verschraubungssatz" in English