Mariestads stads af år 1872,