Kofinalität des instationären Ideals