Vielen Dank für den Tipp !
Das kennen wir, liegt leider zu versteckt in der englischen Ecke...

Uns würde eher interessieren, ob es den C-Code noch gibt - aber nicht, weil wir das Lokal mieten möchten...