push route net_gateway does not work

push "route 134.94.0.0 255.255.0.0 net_gateway"

is ignored. The pushed route is mentioned in the NetworkManager log:

NetworkManager[893]: <info> […] Data: Static Route: 134.94.0.0/16 Next Hop: 134.94.16.1

(The gateway is even correct.) However, no route is actually added. Interestingly enough, a

push "route 134.94.0.0 255.255.0.0 vpn_gateway"

is added to the routes. Wild guess: Possibly, the device is wrong, because a manual

# route add -net 134.94.0.0/16 gw 134.94.16.1 dev tun0
SIOCADDRT: Network is unreachable

fails obviously. Instead of “tun0”, it must be the normal net device for which the gateway is valid. But again, this is only a guess.