Zettel "00001007030000" not available in encoding "sexpr"