Amnestien af den 23 juli utsträckes därhän,