Große Radioblase in der Galaxie NGC 4217 entdeckt