Kriegsrecht bedeutet nicht die Aufhebung der Glücksspielgesetze