Translation of "Which provides that" in German