Restaurationslokalen i det tyska riksdagshuset.