Josephson-effect devices