Proteolytic ectodomain shedding of membrane proteins in mammals—hardware, concepts, and recent developments. (5th July 2018)