Im hinteren Teil habe ich einfach den Doppelpunkt eingefügt, nur vorn funktioniert das nicht.
Der einfache Doppelpunkt ist, zumindest unter Windows, nicht in Dateinamen erlaubt. Deswegen habe ich \u2236 genommen, das ist der Unicode-Code für den Doppelpunkt als mathematischen Operator.