Zettel "00001007020000" not available in encoding "sexpr"