Page "Josephson characteristic frequency" not found :(