Translated some things from German into English