История г. Севастополя в XVIII–XX веках. Документы и материалы