answered 2019-01-08 20:52:06 +0200
Hello,
I checked the official implementation and the dns-nameservers key needs to be used according to:
https://wiki.debian.org/NetworkConfiguration#Definingthe.28DNS.29_Nameservers
Thank you, Adrian Vladu