Máquinas usadas de de Theisen & Bonitz