Directional control valves: 5/2-way double-pilot pneumatic valve, pneumatically actuated in both directions