Germany’s external demand