New: kr-translation