Release Notes 3.13

Ein kleines Update, das vor allem Verbesserungen im Hintergrund mit sich bringt, sowie einige Vorbereitungen für neue Funktionen.