@Horst: Absolut. Child Themes sind eine tolle Sache. Bloß lässt sich damit halt nicht in jedem Theme alles ändern. 🙂