%s bereits installiert."); define('ADMIN_THEME_NOTHING_FOUND', "Keine Themes auf dem Server gefunden!"); define('ADMIN_THEME_INC_404', "Wichtige Design-Headerdatei theme.php konnte zum Design %s nicht gefunden werden."); // ?>