translate English to German: (For more information on what a push server is, please read the explanation of push mirroring .
(Wenn Sie genauere Informationen darüber erhalten möchten, was ein Push-Spiegel ist, lesen Sie bitte die Beschreibung des Push-Spiegelns .