Yes, Spielbetriebe Flair GmbH & Co. KG is a real company.