StreamTracer should be mockable

#3305 put DoNotMock on StreamTracer saying that the mocks are not thread-safe. But [mockito claims they are](https://github.com/mockito/mockito/wiki/FAQ#is-mockito-thread-safe), except for stubbing and verify methods. We need to figure out where the discrepancy is and either file a bug against Mockito or let the StreamTracer be mocked.

I discovered this as part of removing DoNotMock for #4452. For my changes, I left things as-is, but I found the documentation I wrote to be questionable.

CC @carl-mastrangelo

Beginne mit der durch #3305 hinzugefügten StreamTracer-Einschränkung und vergleiche sie mit Mockitos FAQ zur Thread-Sicherheit, insbesondere den Einschränkungen bei Stubbing und Verifizierung. Prüfe die Dokumentation aus der Arbeit an #4452 und ermittle, ob die Abweichung in Mockito oder in der Verwendung von StreamTracer liegt; abgeschlossen ist die Aufgabe mit entweder einem begründeten Mockito-Bugreport oder der Entfernung der Einschränkung.

Vom Indexierungsmodell aus dem Issue-Text verfasst.