Gatschina är nu en stad med cirka9,000