Der encoder