Input (grade 11): His nickname Joschka is derived from the Hungarian Jóska, diminutive of Joseph (Hungarian József).
Output (grade 7): His nickname Joschka is from Jóska, which is the Hungarian nickname for Joseph ().