I have been working on adding the definitions of derivatives and deriving by first principal. Also, I have added a page with a table of ableitungen listing some common derivatives as seen in the “Formelsammlung”. Going on tags in the menu allows you to find the relevant pages on a topic.