Original: His nickname Joschka is derived from the Hungarian Jóska, diminutive of Joseph (Hungarian József).
Simplified: His nickname Joschka is from Jóska, which is the Hungarian nickname for Joseph ().