Saken har nu slutat dermed,