erweitert um equal()

von Mathias