Über die Komplexität der Berechnung minimaler unbefriedigender LTL-Formeln