The Shamrock and the Swastika: German Espionage in Ireland in World War II