Danish intelligence agency helped US spy on German leaders