Nazis executed by East Germany by firearm