Backend: Programmsprache eigenes encoding