Lemmata 0 bis 3 ersetzt durch kompilierende Varianten.