LP2PB: Übersetzen von Antwortmengenprogrammen in pseudoboolesche Theorien