Implementierung von Q_p begonnen