Merkel’s thinly disguised hit at Trump