Definitions

[1] revised version (rv) , überarbeitete Fassung, erneuerte Ausgabe, durchgesehene Version