Ein nichtstandardanalytischer Beweis eines Satzes über nichtkommutative ergodische Optimierungen