Title: Über Komplexitätsfragen Hoarescher Beweissysteme