Dresden (dpa / sn) – Armed with a stun gun, a 20-year-old man attacked a gas station in the Gohlis district of Dresden. No one was injured, police said on Thursday. The masked man is said to have entered the gas station on Wednesday evening, fired shots and demanded cash from the employee at gunpoint in vain. The 58-year-old pressed the alarm button instead, it said. The man fled, but the police managed to locate and arrest him near the gas station. He is to be brought before the magistrate.