Loads of Data Manager Gui work, main functionallity is almost complete now. Few bugs left with theorem listing atm (especially scrolling)