= Wie kann geprüft werden, ob und ggf. welche Nachrichten zu einem definierten Fall erzeugt wurden? TODO