Extensions of a module

Information about using an extension of a module is missing

changed milestone to %Meeting 2022-01-12

assigned to @lazariv--tu-dresden.de

mentioned in merge request !452 (merged)

mentioned in commit 08c24506

closed with merge request !452 (merged)