Zettel "00001007040100" not available in encoding "sexpr"