effektiv berechenbar: nicht gefunden