Den Münchner OB stellt die SPD, das ist seit vielen Jahren so. Dominik Krause von den Grünen will das ändern. Was muss man über ihn wissen?