IS: Infinite Stratos Encore - Koi ni Kogareru Rokujuusou

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)