Probleme mit aterm