Langzeitprobleme

Mit Version 3.5 vom 12.06.19 sind diese Probleme hoffentlich erledigt.