When did Frederick the great become Frederick the great?