Translation of "Has been duly executed" in German