The Dr.-Ing. title is now official