template<typename T1>
template<typename T2>
class C1<T1>::C2<T2> {
  ...
};