Definition von pol_k hinzugefügt.
Konstruktion des Funktors von pol_k nach Alg_k hinzugefügt.