Translation of "To file sth" in German