Moved text from coqide.tex to grundsprak.tex