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 ( ) .