TRUMPF acquires laser manufacturer for ultrashort pulse lasers