theory of types - German English Dictionary