Removed the line-noise generated by a failed merge from Kaart.java