5240 ) Rättens ombudsman.