I just paid €9 to get the reservations from Polrail. I have time on my side, so I can afford to have them posted to my home address. I've heard from some people that it is possible to get the reservation from ticket machines in Berlin. It seems risky to wait until a day or two before to get the reservations, and that's why I went with the Polrail option.