BUG gefixt:hashCode lieferte negative Werte...