Danske kaptenen N . P . Jensen och Danmarks militära strafflag.