Hans en alemán es John, Juan, ¿no?