Ausgezeichnet: Professor Brunnberg nach der Verleihung des Verdienstkreuzes am Bande des Verdienstordens der Bundesrepublik Deutschland.