Barrage Vauban, Strasbourg