The Logimat Recipe for Efficient Warehouse Management