@ARTICLE{banzhaflocal, author = {Banzhaf, Wolfgang and Banscherus, Dirk and Dittrich, Peter}, title = {Local Modules} }