Master's Thesis: Explainability of Transformer Models in Authorship Verification — Fraunhofer SIT | SciFind