München, Viktualienmarkt, Mai Baum