sedan de diplomatiska svårigheterna voro utjemnade , den 4 juni 1872.