Devices not covered by group F25D11/00 or F25D13/00