4876 ) Rättens ombudsman.