= Derjemte bar K.