Funktorialität der Skalarerweiterung für Algebren hinzugefügt.