IS: Infinite Stratos 2 - Hitonatsu no Omoide

An extended version of the second season's first episode, which is under the same title.