some minor improvements in Spielbrett::paintEvent