A hypothesis of formalization of literary data for text analysis: a case study on Karl Kraus’ writings