den 8 November 1872 faststälda tomtindelning.