Anti-IS-Koalition bombardiert Ölraffinerie in Syrien: 30 Tote