Das Schiff des Theseus: Ist ein Schiff, bei dem alles ersetzt wurde, noch „dasselbe Schiff“? Eine Betrachtung der Identität aus Sicht der Softwaretechnik