Lernmeister/Lehrmeister to Leukipp

Use Leukipp as official name, merge authoring/learning system into one repository

All issues for this milestone are closed. You may close the milestone now.