I have a friend in the London Police force and hes been to Germany and worked with them. He said its the same system if someone attacks you in the UK.
Proportional Response. If a guy attacks you, as an officer you have the right to defend yourself anyway you see fit, as long as it is within proportion to the threat. An unarmed man, most officers will at most reach for a baton.
This guy was armed, attacked multiple people and by all accounts was going to attack the police officers with a deadly weapon. As far as I'm concerned and I'm pretty sure the official report, those officers responded within reason to the threat. You can argue all you wand about shooting to disarm, but officers, in fact anyone trained to use a gun, is taught you only bring out your weapon if you are ready to kill something with it. You do everything you can before you bring out the gun, but your safety and the safety of those around you is a higher priority. Likewise a taser is not an effective tool to stop someone. You can find videos of people dosed up on something shrugging off multiple tasers.