Wie kann man in einer Windows-Batchdatei einen Dateinamen mit Datum und Uhrzeit ohne unzulässige Zeichen wie Doppelpunkte erstellen?

Das Problem entsteht, weil das Windows-Datums- und Zeitformat Zeichen wie Doppelpunkte (:) und Schrägstriche (/) enthält, die in Dateinamen nicht erlaubt sind. Um das zu umgehen, musst du das Datum und die Zeit so formatieren, dass keine ungültigen Zeichen enthalten sind.

Hier ein Beispiel, wie du das machen kannst:

```cmd
@echo off
REM Datum und Zeit in Variablen ohne unerlaubte Zeichen speichern
set "datum=%date:~6,4%-%date:~3,2%-%date:~0,2%"
set "zeit=%time:~0,2%-%time:~3,2%-%time:~6,2%"
REM Eventuelle führende Leerzeichen bei der Stunde entfernen
set "zeit=%zeit: =0%"

set "log=c:\caffeine\ppanter7_caffeine_log\%datum%_%zeit%_ppanter7_caffeine.alive"
echo %log%
```

**Erklärung:**
- `%date:~6,4%` nimmt die Jahreszahl (z.B. 2024)
- `%date:~3,2%` nimmt den Monat (z.B. 06)
- `%date:~0,2%` nimmt den Tag (z.B. 13)
- `%time:~0,2%` nimmt die Stunde (ggf. mit Leerzeichen)
- `%time:~3,2%` nimmt die Minuten
- `%time:~6,2%` nimmt die Sekunden
- Doppelpunkte werden durch Bindestriche ersetzt.

So erhältst du einen Dateinamen wie:
```
c:\caffeine\ppanter7_caffeine_log\2024-06-13_09-15-30_ppanter7_caffeine.alive
```

Das ist ein gültiger Dateiname unter Windows.