batman-adv. 2014, auf Grund eines Memory-Leaks, gegen batman-adv. 2013 ausgetauscht.