Translation of "It is recalled that" in German