Actually, we fixed it by killing the dhcclient and and reconnecting (nmcli con down ... and nmcli con up ... ).
We are using similar configs and everything is done by using the nmcli, but we are not facing similar issues there.
So at this point, I really would like to understand that behaviour.
Why is there a dhcclient running at all if you have manual settings? What has started dhcclient?
Simon