Trauerfeier für Michael Müller, in der Trauerhalle des Stammheimer Friedhofs.