What is the net worth of derek jarman