gödelisiertem: nicht gefunden