Trump was right, Germany regrets laughing