High-frequency devices