» Pnom Penk den 7 Maj 1872.