* Kleine Änderung bei Board.getBoardHash()