International law and German law