oh noes!!1!
It looks like Mr Krups (coffee machine, purchased in the Johnnies closing sale in 1998) is finally deceased... I need a torx bit with a hole for a centre pin to open it up and see what tube died. Off to the shops tomorrow; before breakfast, clearly.