keine endgueltige loesung: nicht gefunden