change revision phrases

revisions are now called `Versionen` in the german translation for
better understanding.