Optimalitätsbedingungen für Bilevel-Imaging-Lernprobleme mit totaler Variationsregularisierung