typo
typo (viele; auch Behebung der unnötigen Einschränkung auf bewohnte Typen an manchen Stellen)