4542 ) Rättens ombudsman.