Si e sembra che dopo il DE ci sia un punto, forse il DE stà* per Deutschland e quindi il nome è solo KO, ho ipotizzato nella mia ricerca sul web un pò tutte le varianti, ma non sono un buon navigatore........................ non ho trovato nulla