In the pot of a pressure cooker melt butter or lard. Add diced onion, sauté until translucent, and deglaze with the meat stock. Add the beef brisket, carrot, celery root, peppercorns, cloves and salt and cook everything in the pressure cooker for about 30 minutes.