Saint Empire romain germanique -- Relations extérieures