München hat Deutschlands größtes Amtsgericht – und das hat eine neue Chefin