Translation of "Which states that" in German