Art. 102 GG bedeutet nicht, daß der deutschen Staatsgewalt untersagt ist, zur Verhängung und Vollstreckung der Todesstrafe durch einen anderen Staat irgendwie beizutragen.