German secret service law does not have to go into the shredder