Update KRMT.md

courses/KRMT.md

@@ -26,9 +26,4 @@ Materialien:
 * [Course Notes, Hausaufgaben](http://kwarc.info/teaching/KRMT)
 * [Tutorial zur Formalisierung](https://gl.mathhub.info/Tutorials/Mathematicians/blob/master/tutorial/mmt-math-tutorial.pdf)
 * [Formalisierungen des letzten Kurses](https://gl.mathhub.info/Teaching/KRMT/tree/master/source)
-
-Diskussionen finden auf dem
-[FSI Forum KRMT](https://fsi.cs.fau.de/forum/150-Logikbasierte-Wissensrepraesentation) statt. Dies ist
-eine wichtige Quelle von Rat und Tat. Wir bemühen uns, auf dem Forum präsent zu sein, und
-schnell auf Fragen zu antworten. Also das Forum abonnieren!