majits beflut af den 6 juli 1872,