IS: Infinite Stratos Encore - Koi ni Kogareru Rokujuusou
Genres: Action, Comedy, Sci-Fi, Ecchi
Type: OVA, Episodes: 1
Aired: Dec 7, 2011
Studio: 8bit
Source: Light novel
Rating: R+ - Mild Nudity
Synopsis:
On a hot day of summer vacation, Charlotte's plan to spend time alone with Ichika at his house is somewhat ruined when Cecilia gets the same idea, later followed by Houki, Lingyin and Laura. The next day, Houki helps out at a summer festival being held at her family's shrine and is surprised when Ichika shows up.

(Source: Wikipedia)