Dermed var således denstatsrattsenliga