Operating-theatre devices (EXPIRED)