# Enigma-code encoder and decoder