Casino in Germany

Yes, that's really a casino.
Not a courthouse.
Not a legislative building.
Not a presidential home.
A casino.
Really.