Hallo Andy,
danke für den Hinweis, es ging nicht ganz so, aber ich hatte damit die richtige Funktion gefunden, hier ist die Lösung für die Datei Header.html - zeile 57:
<img src='<?php echo "$CFG->wwwroot/theme/".current_theme() ?>/logo_small.jpg' />
Also danke noch einmal - vielleicht sollte man dies ja auch im Moodle-Code ändern?
Ciao Jens