Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy (Logical Methods in Computer Science, 2022)