ABC-Spielhallenbetriebsgesellschaft mbH.