The city of kazan in the 25th century