TYPY GRUBE