den 9 : Grevindo Knuth , Ring.