Är valborgsmässoafton eller första maj röd dag i Tyskland?