Zugriffe auf die Datenstrukturen des Backends werden jetzt über locks

synchronisiert.

src/Gui/Gui.cs

@@ -52,7 +52,9 @@ namespace WorldOfPeacecraft
 		{
 			BufferedGraphics buffer = BufferedGraphicsManager.Current.Allocate (Board.CreateGraphics (), Board.DisplayRectangle);
 			Graphics g = buffer.Graphics;
-			PaintMap(g);
+			lock (Backend) {
+				PaintMap (g);
+			}
 			buffer.Render();
 		}