Details on Germany's security measures post-attack