In the end (even the setup posted above stopped working after a restart) I had to remove networkmanager and use the /etc/network/interfaces file.
In the end (even the setup posted above stopped working after a restart) I had to remove networkmanager and use the /etc/network/ interfaces file.