5828 ) Rättens ombudsman.