4516 ) Rättens ombudsman.