Kommentar von Ulrike Fischer auf Ijon Tichys Antwort

@Josephine: es braucht doch nur maximal 30 Minuten um alle (1234) durch .1234 zu ersetzten, wenn dein editor regex kann. Das ist weniger Zeit, als du brauchst um den bibtex Weg ans laufen zu bekommen.