Talk:Weyl's tube formula