direncryptor loesung: initial state