(etwas) lustig meinen · (etwas) nicht ernst meinen · soll(te) ein Scherz sein · soll(te) ein Spaß sein