Jasmin war für GZSZ eine Bereicherung.