On bilevel optimization problems in infinite-dimensional spaces - Harder, Felix (2020)