German expert restores King Tut mask after botched glue job