Jura Giga X7C Micro Switch Commercial Series DX41X (2 As Pictured) X8, X9 X5 X6

They sit at the top of the machine as a pair.

eBay