Gerald Grosz hat sich impfen lassen (Randnotiz)