erweitert um equal()
von Mathias