, R . IEDERMANNSIlESTAURANT