Serializing and deserializing Mysteries to Json