Zettel "00001007990000" not available in encoding "sexpr"