Should Ronnie Biggs be released?