Translation of "Interne bemerkung" in English