Electrolux to acquire German company in professional laundry