6243 ) Rätiens ombudsman.