Ubuntu Linux: Mehrere Dateien gleichzeitig umbenennen

Gelegentlich muss man nicht nur eine Datei, sondern eine ganze Gruppe umbenennen, etwa um sie besser unterscheiden zu können. Dazu reicht ein Bordmittel.