Klett, Robin: Josephson devices based on topological insulators. 2018