5678 ) Rättens ombudsman.