Ostende dell 17 Juli.