Explaining the DaVinci-Editor