Kraus con unos 50 empleados trabajando en hoteles, restaurantes, etc.